@inproceedings{yang2019correct,
  title={Correct-by-construction control synthesis for buck converters with event-triggered state measurement},
  author={Yang, Liren and Cui, Xiaofan and Avestruz, Al-Thaddeus and Ozay, Necmiye},
  booktitle={Proceedings of the American Control Conference},
  pages={1056--1063},
  year={2019},
}